⚙ Automata Theory - matmat · Scour

A Unary-to-Nonunary Transition in the Accepting-State Spectrum of Right Quotient for Permutation Automata 🎯Automata theory

Family Orienting Python Frozenset Dependent Type Theory λLambda Formalization

philipzucker.com·2d

Applying formal grammars in a custom programming language 📐Format Grammars

youtu.be·5d·r/programming

The linear algebra of bit twiddling 🔢Bitwise Algorithms

johndcook.com·2d

Vector, the Journal of the British APL Association 📊APL Heritage

web.archive.org·6d·Hacker News

Measure Many Quantum Finite Automata on Infinite Words ⚛️Quantum Algorithms

SMT-Based Active Learning of Weighted Automata 🧮SMT Solvers

Induction rules for Transition Algebra 🌳Context free grammars

Distributional Learning of Context-Free Languages under Fixed Finite-Monoid Typing 🌳Context free grammars

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers 🎞️Tape Combinatorics

Deciding DFA-Primality is NP-Hard 🧮SMT Solvers

Relating the Computational and Logical Difficulty of Solving ODEs: From Polynomial to Discontinuous Right-Hand Sides 📐Interval Arithmetic

The Algebra of Iterative Constructions 🌉Galois Connections

Exact Regular-Constrained Variable-Order Markov Generation via Sparse Context-State Belief Propagation 🌳Context free grammars

Probing Structural Mathematical Reasoning in Language Models with Algebraic Trapdoors 🌳Context free grammars

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability 🎯Automata theory

Hyper-Minimization for Deterministic Register Automata 🎞️Tape Combinatorics

Continuations and Completeness in Proof-theoretic Semantics 🏗️Constructive Logic

A Categorical Semantics for Linear Logical Frameworks 📏Linear Logic

Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic) 🔍Type Inference

No more posts from matmat's subscribed feeds.

Scour all 24963 feeds Learn more about Feeds

Log in to enable infinite scrolling